../common/ir-encode.h